<HTML><HEAD><TITLE>?E in ?Sterm</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(conjunto)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>?E in ?Sterm</H1>
E belongs to the set term Sterm.


<DL>
<DT><EM>?E</EM></DT>
<DD>A Prolog term.
</DD>
<DT><EM>?Sterm</EM></DT>
<DD>A set term.
</DD>
</DL>
<H2>Description</H2>
   This constraint states that E belongs to the set term Sterm.  If E is
   not a known value the constraint is delayed.  It is activated as soon as
   E becomes a known value.  If Sterm is a ground set and E is known it
   checks if E belongs to Sterm.

<P>

<H3>Fail Conditions</H3>
   Fails if E cannot belong to Sterm.


<H3>Resatisfiable</H3>
   No.
<H2>Examples</H2>
<PRE>
[eclipse 4]: S `:: {}.. {1,2,3}, E in S.

E = E
S = S{{} .. {1, 2, 3}}

Delayed goals:
        E in_s S{{} .. {1, 2, 3}}
yes.

[eclipse 5]: S `:: {}.. {1,2,3}, 1 in S.

S = S{{1} .. {1, 2, 3}}
yes.



</PRE>
<H2>See Also</H2>
<A HREF="../../lib/conjunto/BNN-2.html">`:: / 2</A>, <A HREF="../../lib/conjunto/notin-2.html">notin / 2</A>
</BODY></HTML>
